/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package it.unicam.fishpass.prism;

import java.util.ArrayList;

/**
 *  it makes possible to execute the code of the project
 *  and show the result in the console takes as input the file INPUT.TXT
 *  and elaborates it to have the result required
 *  
 *  @author Andrea Baiocco
 */
public class EPDTA2PRISMConsole {
	/**
	 * @param args
	 */

	public static void main(String[] args) {
		FishPassParser myparser = new FishPassParser();
		MDPGraph<String, MultiArc> graph = myparser.createMDP("input.txt");
		if (graph != null) {
			//for (String s : graph.Nodes)
			//	System.out.println(s);
			//for (ArrayList<MultiArc> a : graph.arcs)
			//	System.out.println(a.toString());
			myparser.saveMDP(graph);			
		}
	}

}
